Formalizing Metamodel of Requirements Management System
نویسندگان
چکیده
منابع مشابه
Capturing and Formalizing SAF Availability Management Framework Configuration Requirements
The Service Availability Forum (SAF) defines a set of middleware services to support and enable high availability in a standardized manner. The Availability Management Framework (AMF) is the service in charge of managing the high availability of the services provided by an application under its control. In order to do so, the AMF service requires a configuration of the application, referred to ...
متن کاملFormalizing Space Shuttle Software Requirements
This paper describes two case studies in which requirements for new ight-software subsystems on NASA's Space Shuttle were analyzed, one using standard formal speci cation techniques, the other using state exploration. These applications serve to illustrate three main theses: (1) formal methods can complement conventional requirements analysis processes e ectively, (2) formal methods confer bene...
متن کاملSimulation of Power Distribution Management System Using Omacs Metamodel
Designing and implementing large, complex and distributed systems using semiautonomous agents that can reorganize and adapt themselves by cooperating with one another represents the future of software systems. This project concentrates on analyzing, designing and simulating such a system using the Organization Model for Adaptive Computational Systems (OMACS) metamodel. OMACS provides a framewor...
متن کاملFormalizing User Interaction Requirements of Mobile Applications
Provision of mobile user interaction, which consists of multi-touch gestures interaction and other direct interaction operations with the mobile device, makes the current mobile paradigm quite different from the conventional desktop paradigm. Writing the required mobile user interaction in an accurate and unambiguous form is one the main challenges in mobile application development. In this wor...
متن کاملTowards a Framework for Formalizing Requirements
This paper presents a pragmatic approach for formalizing requirements. It has three main contributions: First, it provides a survey of publications dealing with the the construction of formal software requirements speciications. Second, two models of the formalization process are developed. The rst model is a generic one whereas the second one incorporates the model-oriented speciication langua...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Institute for System Programming of the RAS
سال: 2018
ISSN: 2079-8156,2220-6426
DOI: 10.15514/ispras-2018-30(5)-10